Impact des pollutions sur une rivière canalisée de Belgique

Sur une souche de BRUCELLA d'origine humaine

COBRA : Une plate-forme de RàPC basée sur des ontologies

Résumé : Cet article présente un projet en cours qui a pour objectif de développer une plateforme de RàPC pour le diagnostic basée sur des ontologies, appelée COBRA. Cette plate-forme est constituée de deux parties principales : les modèles de connaissances décrits par des ontologies, et les processus de raisonnement. Nous travaillons actuellement sur la défaillance des barrières de sécurité in...

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles

Vers une nouvelle génération de définition des exigences de sécurité fondée sur l'utilisation des ontologies

During recent years, security in Information Systems (IS) has become an important issue, and needs to be taken into account in all stages of IS development, including the early phase of Requirement Engineering (RE). Recent studies proposed some useful approaches for security requirements definition but analysts still suffer from a considerable lack of knowledge about security and domain field. ...